Ruy J. G. B. de Queiroz: in Z-Library suchen

Ihr Zugang zu Kenntnissen und Kultur.

Don't use scam websites

Angewendete Filter

Genaue Übereinstimmung

Genaue Übereinstimmung

Bücher (26)
Meistgefragt
Liste
- Liste
- Tabelle

1

Model Theory

Model Theory

Oxford University Press, USA

Maria Manzano, Ruy J. G. B. de Queiroz

Jahr:

1999

Sprache:

english

Datei:

DJVU, 2.16 MB

0 / 0

english, 1999

2

The Functional Interpretation of Logical Deduction

The Functional Interpretation of Logical Deduction

World Scientific

Ruy J. G. B. de Queiroz, Anjolina G. de Oliveira, Dov M. Gabbay

Jahr:

2011

Sprache:

english

Datei:

PDF, 1.79 MB

0 / 0

english, 2011

3

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Logic, Language, Information, and Computation: 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings

Springer-Verlag Berlin Heidelberg

Juliette Kennedy, Ruy J.G.B. de Queiroz (eds.)

Jahr:

2017

Sprache:

english

Datei:

PDF, 7.40 MB

0 / 0

english, 2017

4

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Ruy J.G.B. de Queiroz (ed.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 7.66 MB

0 / 0

english, 2003

5

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Logic, language, information, and computation : 27th international workshop, WoLLIC 2021, virtual event, October 5-8, 2021 : proceedings

Ruy J. G. B. de Queiroz (editor), Alexandra Martins da Silva (editor), Renata Wassermann (editor)

Jahr:

2021

Sprache:

english

Datei:

PDF, 8.13 MB

0 / 5.0

english, 2021

6

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 3.20 MB

0 / 0

english, 2008

7

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016. Proceedings

Springer-Verlag Berlin Heidelberg

Jouko Väänänen, Åsa Hirvonen, Ruy de Queiroz (eds.)

Jahr:

2016

Sprache:

english

Datei:

PDF, 10.48 MB

0 / 0

english, 2016

8

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)

Jahr:

2015

Sprache:

english

Datei:

PDF, 4.86 MB

0 / 0

english, 2015

9

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Springer Berlin Heidelberg

Marcelo Finger, Mauricio S. C. Hernandes (auth.), Anuj Dawar, Ruy de Queiroz (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.87 MB

0 / 0

english, 2010

10

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Logic, Language, Information, and Computation: 20th International Workshop, WoLLIC 2013, Darmstadt, Germany, August 20-23, 2013. Proceedings

Springer-Verlag Berlin Heidelberg

Natasha Alechina (auth.), Leonid Libkin, Ulrich Kohlenbach, Ruy de Queiroz (eds.)

Jahr:

2013

Sprache:

english

Datei:

PDF, 3.27 MB

0 / 0

english, 2013

11

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Logic, Language, Information, and Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings

Springer-Verlag Berlin Heidelberg

Ulrich Kohlenbach, Pablo Barceló, Ruy de Queiroz (eds.)

Jahr:

2014

Sprache:

english

Datei:

PDF, 3.66 MB

0 / 0

english, 2014

12

Logic, Language, Information, and Computation. 28th International Workshop, WoLLIC 2022 Iași, Romania, September 20–23, 2022 Proceedings

Logic, Language, Information, and Computation. 28th International Workshop, WoLLIC 2022 Iași, Romania, September 20–23, 2022 Proceedings

Agata Ciabattoni, Elaine Pimentel, Ruy J.G.B. de Queiroz (Eds.)

Jahr:

2022

Sprache:

english

Datei:

PDF, 8.35 MB

0 / 5.0

english, 2022

13

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Logic, Language, Information, and Computation: 22nd International Workshop, WoLLIC 2015, Bloomington, IN, USA, July 20-23, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Valeria de Paiva, Ruy de Queiroz, Lawrence S. Moss, Daniel Leivant, Anjolina G. de Oliveira (eds.)

Jahr:

2015

Sprache:

english

Datei:

PDF, 4.93 MB

0 / 0

english, 2015

14

Logic for concurrency and synchronisation

Logic for concurrency and synchronisation

Kluwer Acad. Publ

Queiroz, Ruy J. G. B. de (ed.)

Jahr:

2003

Sprache:

english

Datei:

PDF, 7.10 MB

0 / 0

english, 2003

15

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Logic, Language, Information and Computation: 15th International Workshop, WoLLIC 2008 Edinburgh, UK, July 1-4, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Olivier Danvy, Jacob Johannsen (auth.), Wilfrid Hodges, Ruy de Queiroz (eds.)

Jahr:

2008

Sprache:

english

Datei:

PDF, 5.49 MB

0 / 0

english, 2008

16

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

Jahr:

2012

Sprache:

english

Datei:

PDF, 3.74 MB

0 / 0

english, 2012

17

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Logic, Language, Information and Computation: 17th International Workshop, WoLLIC 2010, Brasilia, Brazil, July 6-9, 2010. Proceedings

Springer Berlin Heidelberg

Marcelo Finger, Mauricio S. C. Hernandes (auth.), Anuj Dawar, Ruy de Queiroz (eds.)

Jahr:

2010

Sprache:

english

Datei:

PDF, 2.93 MB

0 / 0

english, 2010

18

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings

Springer Berlin Heidelberg

Rosalie Iemhoff, Michael Moortgat, Ruy de Queiroz

Jahr:

2019

Sprache:

english

Datei:

PDF, 15.88 MB

0 / 0

english, 2019

19

Logic, Language, Information, and Computation

Logic, Language, Information, and Computation

Springer Berlin Heidelberg

Lawrence S. Moss, Ruy de Queiroz, Maricarmen Martinez

Jahr:

2018

Sprache:

english

Datei:

PDF, 6.37 MB

0 / 0

english, 2018

20

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Logic, Language, Information and Computation: 14th International Workshop, WoLLIC 2007, Rio de Janeiro, Brazil, July 2-5, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Joachim Baran, Howard Barringer (auth.), Daniel Leivant, Ruy de Queiroz (eds.)

Jahr:

2007

Sprache:

english

Datei:

PDF, 3.76 MB

0 / 0

english, 2007

21

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Logic, Language, Information and Computation: 19th International Workshop, WoLLIC 2012, Buenos Aires, Argentina, September 3-6, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Andrea Asperti, Wilmer Ricciotti (auth.), Luke Ong, Ruy de Queiroz (eds.)

Jahr:

2012

Sprache:

english

Datei:

PDF, 3.72 MB

0 / 0

english, 2012

22

Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Arnold Beckmann (auth.), Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 4.93 MB

0 / 0

english, 2009

23

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 3.14 MB

0 / 0

english, 2011

24

Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings

Springer-Verlag Berlin Heidelberg

Arnold Beckmann (auth.), Hiroakira Ono, Makoto Kanazawa, Ruy de Queiroz (eds.)

Jahr:

2009

Sprache:

english

Datei:

PDF, 5.00 MB

0 / 0

english, 2009

25

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Logic, Language, Information and Computation: 18th International Workshop, WoLLIC 2011, Philadelphia, PA, USA. Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), Lev D. Beklemishev, Ruy de Queiroz (eds.)

Jahr:

2011

Sprache:

english

Datei:

PDF, 3.54 MB

0 / 0

english, 2011

26

Logic for Concurrency and Synchronisation

Logic for Concurrency and Synchronisation

Kluwer Academic Publishers

Ruy J.G.B. de Queiroz (ed.)

Jahr:

2003

Sprache:

english

Datei:

DJVU, 3.95 MB

0 / 0

english, 2003